From d34920f300efb17a1cbd5dc3fefd0d949d529ba1 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Thu, 9 Dec 2010 16:15:10 +0000 Subject: [PATCH] x86: time: tsc_set_info() must skip the idle domain. Signed-off-by: Keir Fraser --- xen/arch/x86/time.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c index b28d6c0b83..d57a9cb518 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -1779,7 +1779,7 @@ void tsc_set_info(struct domain *d, uint32_t tsc_mode, uint64_t elapsed_nsec, uint32_t gtsc_khz, uint32_t incarnation) { - if ( d->domain_id == 0 ) + if ( is_idle_domain(d) || (d->domain_id == 0) ) { d->arch.vtsc = 0; return; -- 2.30.2